Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic

Separation Logic is a non-classical logic used to verify pointer-intensive code. In this paper, however, we show that Separation Logic, along with its natural extensions, can also be used as a specification language for concurrent-system design. To do so, we express the behavior of three very different concurrent systems: a Subway, a Stopwatch, and a 2x2 Switch. The Subway is originally implemented in LUSTRE, the Stopwatch in Esterel, and the 2x2 Switch in Bluespec

A report on freshwater tailless flea, Simocephalus vetulus from Haridwar, located in foothills of Shivalik Himalaya in Uttarakhand, India

The Cladocerans, commonly known as “Water fleas” form a primitive freshwater group of micro crustacean zooplankton of the freshwater ecosystem. They play an important role in the aquatic food chain and also contribute significantly to zooplankton dynamics and secondary productivity in freshwater ecosystems. The animals used in the present study were identified as Simocephalus vetulus with the help of identification keys described by various authors in the previous studies from other parts of India. In the present study, the occurrence of “freshwater tailless flea”, S. vetulus (Crustacea- cladocera) is reported for the first time from freshwater bodies in Haridwar, located in foothills of Shivalik Himalayan region in Uttarakhand. The presence of S. vetulus “tailless water flea” will be helpful as a lab model for the health status of aquatic bodies as well as environmental monitoring

CO2 emission based GDP prediction using intuitionistic fuzzy transfer learning

The industrialization has been the primary cause of the economic boom in almost all countries. However, this happened at the cost of the environment, as industrialization also caused carbon emissions to increase exponentially. According to the established literature, Gross Domestic Product (GDP) is related to carbon emissions (CO2) which could be optimally employed to precisely estimate a country's GDP. However, the scarcity of data is a significant bottleneck that could be handled using transfer learning (TL) which uses previously learned information to resolve new tasks, more specifically, related tasks. Notably, TL is highly vulnerable to performance degradation due to the deficiency of suitable information and hesitancy in decision-making. Therefore, this paper proposes ‘Intuitionistic Fuzzy Transfer Learning (IFTL)’, which is trained to use CO2 emission data of developed nations and is tested for its prediction of GDP in a developing nation. IFTL exploits the concepts of intuitionistic fuzzy sets (IFSs) and a newly introduced function called the modified Hausdorff distance function. The proposed IFTL is investigated to demonstrate its actual capabilities for TL in modeling hesitancy. To further emphasize the role of hesitancy modelled with IFSs, we propose an ordinary fuzzy set (FS) based transfer learning. The prediction accuracy of the IFTL is further compared with widely used machine learning approaches, extreme learning machines, support vector regression, and generalized regression neural networks. It is observed that IFTL capably ensured significant improvements in the prediction accuracy over other existing approaches whenever training and testing data have huge data distribution differences. Moreover, the proposed IFTL is deterministic in nature and presents a novel way for mathematically computing the intuitionistic hesitation degree.© 2023 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).fi=vertaisarvioitu|en=peerReviewed

From Text to MITRE Techniques: Exploring the Malicious Use of Large Language Models for Generating Cyber Attack Payloads

This research article critically examines the potential risks and implications arising from the malicious utilization of large language models(LLM), focusing specifically on ChatGPT and Google's Bard. Although these large language models have numerous beneficial applications, the misuse of this technology by cybercriminals for creating offensive payloads and tools is a significant concern. In this study, we systematically generated implementable code for the top-10 MITRE Techniques prevalent in 2022, utilizing ChatGPT, and conduct a comparative analysis of its performance with Google's Bard. Our experimentation reveals that ChatGPT has the potential to enable attackers to accelerate the operation of more targeted and sophisticated attacks. Additionally, the technology provides amateur attackers with more capabilities to perform a wide range of attacks and empowers script kiddies to develop customized tools that contribute to the acceleration of cybercrime. Furthermore, LLMs significantly benefits malware authors, particularly ransomware gangs, in generating sophisticated variants of wiper and ransomware attacks with ease. On a positive note, our study also highlights how offensive security researchers and pentesters can make use of LLMs to simulate realistic attack scenarios, identify potential vulnerabilities, and better protect organizations. Overall, we conclude by emphasizing the need for increased vigilance in mitigating the risks associated with LLMs. This includes implementing robust security measures, increasing awareness and education around the potential risks of this technology, and collaborating with security experts to stay ahead of emerging threats